propositional logic exercises Download